/*
 *  Gestore della memoria
 */
#ifndef SP_MMU_H
#define SP_MMU_H

#include <klibc/ctype.h>

// Memoria riservata al kernel in kb (1mb per ora)
#define MMU_KERNEL_RESERVED_PAGES 256

long long mmu_memory;
int mmu_init(unsigned long, unsigned long);
void mmu_test();
void *mmu_alloc(size_t);
void mmu_free(void *);
int mmu_ram_size();


#endif
